Spar: A programming language for semi-automatic compilation of parallel programs

Code generation techniques for the task-parallel programming language Spar

In this paper we describe a compilation scheme to translate implicitly parallel programs in the programming language Spar (an extension to Java) to efficient code for distributed-memory parallel computer systems. The compilation scheme is formulated as a set of transformation rules. In Spar, the language constructs for parallelization have been designed for comfortable use by the programmer, no...

The Spar/Java Programming Language

In recent years, embedded systems with multiple processors have become increasingly important. These systems often consistof a general-purpose processor and one, oreven several, digital signal processors (DSPs). For portability, flexibility, and robustness it is often useful to regard such a cluster as a single, parallel, system. Since such a system contains several types of processors, it is s...

Annotating Spar / Java for data - parallel programming

Grapnel: a Graphical Programming Language for Parallel Programs

1 Abstract We propose a new visual structured programming language, GRAPNEL (GRAphical Process's NEt Language) for designing distributed parallel programs. This language is a part of a complex software environment for parallel programming which includes tools for design, mapping, visualization, optimization, monitoring and debugging of parallel systems. For design we use a hybrid language where...

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...